Nuprl Lemma : unit_wf
13,42
postcript
pdf
Unit
Type
latex
Up
core
2
,
core
2
Definitions
Unit
,
t
T
origin
Type Type T